$\forall$${\it es}$:ES, $p$:(E$\rightarrow$(E + Top)), $a$, $b$, $c$:E. $a$ $p$$\leq$ $b$ $\Rightarrow$ $b$ $p$$<$ $c$ $\Rightarrow$ $a$ $p$$<$ $c$